Progress in clasp Series 3
نویسندگان
چکیده
We describe the novel functionalities comprised in clasp’s series 3. This includes parallel solving of disjunctive logic programs, parallel optimization with orthogonal strategies, declarative support for specifying domain heuristics, a portfolio of prefabricated expert configurations, and an application programming interface for library integration. This is complemented by experiments evaluating clasp 3’s optimization capacities as well as the impact of domain heuristics.
منابع مشابه
The Conflict-Driven Answer Set Solver clasp: Progress Report
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving.
متن کاملMale-Male Clasping May Be Part of an Alternative Reproductive Tactic in Xenopus laevis
Male Xenopus laevis frogs have been observed to clasp other males in a sustained, amplectant position, the purpose of which is unknown. We examined three possible hypotheses for this counter-intuitive behavior: 1) clasping males fail to discriminate the sex of the frogs they clasp; 2) male-male clasping is an aggressive or dominant behavior; or 3) that males clasp other males to gain proximity ...
متن کاملComparison of human and porcine gastric clasp and sling fiber contraction by M2 and M3 muscarinic receptors.
To compare the gastroesophageal junction of the human with the pig, M(2) and M(3) receptor densities and the potencies of M(2) and M(3) muscarinic receptor subtype selective antagonists were determined in gastric clasp and sling smooth muscle fibers. Total muscarinic and M(2) receptors are higher in pig than human clasp and sling fibers. M(3) receptors are higher in human compared with pig slin...
متن کاملMultiple Domains of Human CLASP Contribute to Microtubule Dynamics and Organization In Vitro and in Xenopus Egg Extracts
Cytoplasmic linker associated proteins (CLASPs) comprise a class of microtubule (MT) plus end-binding proteins (+TIPs) that contribute to the dynamics and organization of MTs during many cellular processes, among them mitosis. Human CLASP proteins contain multiple MT-binding domains, including tumor over-expressed gene (TOG) domains, and a Ser-x-Ile-Pro (SxIP) motif known to target some +TIPs t...
متن کاملThe CENP-F-like Proteins HCP-1 and HCP-2 Target CLASP to Kinetochores to Mediate Chromosome Segregation
During chromosome segregation, kinetochores form dynamic connections with spindle microtubules. In vertebrates, these attachments require the activities of a number of outer kinetochore proteins, including CENP-F [1, 2] and the widely conserved microtubule-associated protein CLASP [3]. Here, we investigate the functional relationship between HCP-1/2, two redundant CENP-F-like proteins, and CLAS...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015